Ultrasheaves and Double Negation
نویسندگان
چکیده
Moerdijk has introduced a topos of sheaves on a category of lters. Following his suggestion, we prove that its double negation subtopos is the topos of sheaves on the subcategory of ultra lters the ultrasheaves. We then use this result to establish a double negation translation of results between the topos of ultrasheaves and the topos on lters. 2000 Mathematics Subject Classi cation. Primary 03G30
منابع مشابه
UPPSALA DISSERTATIONS IN MATHEMATICS 30 Ultrasheaves
Eliasson, J. 2003: Ultrasheaves. Uppsala dissertations in Mathematics 30. 54 pp. Uppsala. ISBN 91-506-1716-8. This thesis treats ultrasheaves, sheaves on the category of ultrafilters. In the classical theory of ultrapowers, you start with an ultrafilter (I,U) and, given a structure S, you construct the ultrapower S/U . The fundamental result is ! Loś’s theorem for ultrapowers giving the connect...
متن کاملOn the Semantics of Classical First-order Logic with Constructive Double Negation
Constructive negation in intuitionistic logic (called strong negation [7]) can be used to directly represent negative assertions, and for which its semantics [8, 1] is defined in Kripke models by two satisfaction relations (|= P and |= N ). However, the interpretation and satisfaction based on the conventional semantics do not fit in with the definition of negation in knowledge representation w...
متن کاملDouble-Negation Elimination in Some Propositional Logics
This article answers two questions (posed in the literature), each concerning the guaranteed existence of proofs free of double negation. A proof is free of double negation if none of its deduced steps contains a term of the form n(n(t)) for some term t, where n denotes negation. The first question asks for conditions on the hypotheses that, if satisfied, guarantee the existence of a double-neg...
متن کاملAl-Sijistani's and Maimonides's Double Negation Theology Explained by Constructive Logic
Famous medieval philosophers Al-Sijistani and Maimonides argued that the use of double negation helps us to better understand issues related to theology. To a modern reader, however, their arguments are somewhat obscure and unclear. We show that these arguments can be drastically clarified if we take into account the 20 century use of double negation in constructive logic. 1 Double Negation The...
متن کاملA Constructive Study of English and Chinese Double Negation
As a universally used linguistic structure, double negation has long attracted the attention of scholars in Chinese and foreign countries. But so far the research of double negation is limited to the study and analysis of negative words, negative markers and the surface structure of double negation, and is also restricted to one particular language. In this essay, based on contrastive linguisti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Notre Dame Journal of Formal Logic
دوره 45 شماره
صفحات -
تاریخ انتشار 2004